min [ X , min $partialdiff sub Y$ $partialdiff sub X$ ( WORLDBATH bath ) ]